class MIP MIP, multi-prover interactive proof Definition #incomplete See also IP References https://people.cs.georgetown.edu/jthaler/FirstMIPLecture.pdf